Developing Finite Domain Constraints - A Data Model Approach
نویسندگان
چکیده
Syntax for Variable Binders: An Overview . . . . . . . . . . . . . . . . . . . . 239 Dale Miller Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic . . 254 James Harland, Tatjana Lutovac, and Michael Winikoff Efficient EM Learning with Tabulation for Parameterized Logic Programs . 269 Yoshitaka Kameya and Taisuke Sato Model Generation Theorem Proving with Finite Interval Constraints . . . . . 285 Reiner Hähnle, Ryuzo Hasegawa, and Yasuyuki Shirai Combining Mobile Processes and Declarative Programming . . . . . . . . . . . . . 300 Rachid Echahed and Wendelin Serwe
منابع مشابه
Updating finite element model using frequency domain decomposition method and bees algorithm
The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...
متن کاملQuantitative Non-diagonal Regulator Design for Uncertain Multivariable System with Hard Time-domain Constraints
In this paper a non-diagonal regulator, based on the QFT method, is synthesized for an uncertain MIMO plant whose output and control signals are subjected to hard time-domain constraints. This procedure includes the design of a non-diagonal pre-controller based on a new simple approach, followed by the sequential design of a diagonal QFT controller. We present a new formulation for the latter s...
متن کاملA Cohesive Zone Model for Crack Growth Simulation in AISI 304 Steel
Stable ductile crack growth in 3 mm thick AISI 304 stainless steel specimens has been investigated experimentally and numerically. Multi-linear Isotropic Hardening method coupled with the Von-Mises yield criterion was adopted for modeling elasto-plastic behavior of the material. Mode-I CT fracture specimens have been tested to generate experimental load-displacement-crack growth data during sta...
متن کاملEvaluating hybrid constraint tightening for scheduling agents
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments to finite-domain variables. Hybrid constraint tightening (HCT) reformulates hybrid constraints to apply the tightest consistent temporal bound possible, assisting in search space pruning. The contribution of this pape...
متن کاملLinear Objective Function Optimization with the Max-product Fuzzy Relation Inequality Constraints
In this paper, an optimization problem with a linear objective function subject to a consistent finite system of fuzzy relation inequalities using the max-product composition is studied. Since its feasible domain is non-convex, traditional linear programming methods cannot be applied to solve it. We study this problem and capture some special characteristics of its feasible domain and optimal s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000